home *** CD-ROM | disk | FTP | other *** search
/ SPACE 1 / SPACE - Library 1 - Volume 1.iso / program / 356 / defs / mathlib0.def < prev    next >
Text File  |  1992-03-11  |  1KB  |  39 lines
  1. DEFINITION MODULE MathLib0;
  2. (*    File name: MathLib0.def                    *)
  3. (*    Creation : Jan 13,1986                    *)
  4. (*    Function : Provide Math function                        *)
  5. (*    By     : K.Y. Tan                    *)
  6. (*                                *)
  7. (*
  8. *    Copyright (c) 1985, 1986 by
  9. *    Djavaheri Bros., Foster City, California.
  10. *    All Rights Reserved.
  11. *
  12. *    This software is furnished under a license and may be used and copied
  13. *    only  in accordance with  the  terms  of  such  license and  with the
  14. *    inclusion of the above copyright notice.  This software or  any other
  15. *    copies thereof may not be provided or otherwise made available to any
  16. *    other  person.   No title to and ownership of the  software is  herby
  17. *    transferred.
  18. *
  19. *    The information in this software is  subject to change without notice
  20. *    and  should  not be construed as a commitment by Djavaheri Bros.   No
  21. *    warranty is implied or expressed.
  22. *
  23. *   SCCID  = "1.2    10/8/86"; 
  24. *)
  25. (*    History of modifcation                    *)
  26. (*    Date        Who        Why            *)
  27. (*                                *)
  28. EXPORT QUALIFIED sqrt, exp, ln, sin, cos,
  29.                  arctan, real, entier;
  30. PROCEDURE sqrt   (x: REAL): REAL;
  31. PROCEDURE exp    (x: REAL): REAL;
  32. PROCEDURE ln     (x: REAL): REAL;
  33. PROCEDURE sin    (x: REAL): REAL;
  34. PROCEDURE cos    (x: REAL): REAL;
  35. PROCEDURE arctan (x: REAL): REAL;
  36. PROCEDURE real   (x: INTEGER): REAL;
  37. PROCEDURE entier (x: REAL): INTEGER;
  38. END MathLib0.
  39.